extern int printf(const char *format, ...);

int main()
{
	printf("Hello world!\n");

	return 0;
}
